- конъюнкция предложений
- Mathematics: conjunction of propositions
Универсальный русско-английский словарь. Академик.ру. 2011.
конъюнкция предложений
Смотреть что такое "конъюнкция предложений" в других словарях:
КОНЪЮНКЦИЯ — (от лат. conjunctio союз, связь), в широком смысле сложное высказывание, образованное с помощью союза «и». В принципе можно говорить о К. бесконечного числа высказываний (напр., о К. всех истинных предложений математики). В логике К. наз … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЗНАЧЕНИЕ — содержание, обозначенное тем или иным языковым выражением словом, предложением, знаком и т.п. Вопрос о З. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Различают предметное, смысловое и экспрессивное З. языковых … Философская энциклопедия
ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
РЕДУКЦИЯ — 1) (от лат. reducere приводить обратно, возвращать) исследовательский прием, обеспечивающий сведение (преобразование) данных, сущностей, задач, понятий, предложений, методов рассуждения и доказательства и т.д. к чему то более простому и легче… … Философская энциклопедия
Логические операции — логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… … Большая советская энциклопедия
